[math-fun] Rock music, math & extraterrestrials