[math-fun] do you know the song?