Lift/mathematics