:: deftheorem defines pythagorean_tone MUSIC_S1:def 64 :
pythagorean_tone = 9 / 8;