finished proof of lift.