ipt mt bold;">P</span></big><span
 style="font-family: arial; font-style: italic;">expr</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) on the
theorem sets. The right adjoint monotonic
function <span style="font-family: arial; font-style: italic;">right</span>(<span
 style="font-weight: bold; font-style: italic;">f</span>) : <span
 style="font-family: arial; font-style: italic;">cloth</span>(<span
 style="font-weight: bold; font-style: italic;">L</span>) &#8594; <span
 style="font-fam