Example 15.
Formal summary of “Tornado” (Jónsi, 2010)
