[math-fun] Logic in (old) pop music