This paper sees me clarify, elaborate, and defend the conclusions reached in my ‘Musical Works as Eternal Types’ in the wake of objections raised by Robert Howell, R. A. Sharpe, and Saam Trivedi. In particular, I claim that the thesis that musical works are discovered rather than created by their composers is obligatory once we commit ourselves to thinking of works of music as types, and once we properly understand the ontological nature of types and properties. The central argument of (...) the paper is ‘the argument from the eternal existence of properties’, its moral being that types are eternal entities because they inherit their existence conditions from their eternally existent property-associates. The two key premises in this argument—that properties exist eternally, and that a type exists just in case its property-associate exists—are motivated and then defended at length. (shrink)