. . "retract e : L -> P $\\omega$ , p : P $\\omega$ -> L. Now if R is a per on L then" . .