Example 4.
Example 6.17 of
ATA
(page 122 in its entirety)
