Example 22.
Formal Design of Radiohead, “2+2=5” (2003)
