Add an important comment on how to interpret the code

Actually, some code on lifting is not the same as that of chapter 9, as
I think the style of chapter 9 is not readable for me, and it makes me
confusing at the first glance.