app app app app rec t u v 0 t app app app app rec t u v app s x app app u x app app app app rec t u v x app app app app rec t u v app lim f app app v f app app app app rectuv t u v app f n app app app app rectuv t u v n app app app app rec t u v n app 2 rec 0 0 0 s 0 lim 0 rectuv 0 n 0 INNERMOST ./TRS/higher-order/Lifantsev/Ex7OrdinalRec.trs