L to Hyb - term substitution
L to Hyb - world renaming
L to Hyb - got rid of shift operation