I twelfed up the definition of my little LF+labelled deduction system. Haven't proven any theorems about it yet, but it's all there.
I invite you to look at Excel art, and these amazing yet simple animations of music. I especially liked watching/listening to Toccata and Fugue in D minor, and Clair de lune. Why am I not listening to more Debussy? Someone once told me he was basically the inventor of jazz harmony, except a few decades too early.