第二个任务：lift#

待写，见 OUTLINE 6.4.3。