Comments motivating stack-of-handlers semantics