Music and Time: What Are Formal Functions?