add: contracts : lift_move