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