Working on liftOneLevel.liftToMod