Example 15.
Formal Design of “Animals” by Maroon 5 (2014)