Refactored lifting example