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