:: deftheorem defines pure_major_third MUSIC_S1:def 67 :
pure_major_third = 5 / 4;