Lang. equiv: hyb to lf
Lang. equiv: hyb to lf finished statics