Example 7. Formal Design of “Party Rock Anthem” by LMFAO (2011)