version 0.9 lifting example