Categorical gestures, the diamond conjecture, Lewin's question, and the Hammerklavier Sonata