Lazy evaluation

Today is a holiday in Japan. Though I could went to buy coffee beans, I killed most of the day speculating the upward-compatible metalinguistic evaluator introduced at the exercise 4.31 in "SICP". It is hard for me to understand when the argument shuld be thunked and when the thunk should be forced. I've made little headway since Chapter 4...