Title: Musical Composition and Interval Proof