517 – Proseminar in Music Theory