Formalized music: thought and mathematics in composition | Synapse