lift1Suc