Example 1.
Example 10.1 of
ATA
, just measures 1–24 (the whole of page 188)
