Lang. equiv: hyb to lf - reductions