ÚL y, <^(ot, (X r- r, r]