Example 5.
Example 1.3 of
ATA
, measures 1–9 (page 4, just first system)
