Lift implementation in separate branch.