more work on lifting proof