LF to Hyb: testing
L to Hyb: reductions
Small change to Labeled
L_to_Hyb: reductions; work in progress