Example 8.
Deferral (from Hasty, Example 9.18f, p. 132)
