Example 19.
Martin’s Example 3