⁵Observant readers will have noted that some of the conditionals could have been evaluated during the construction of the continuation. This is true, and is an important optimization in real systems.