Musical notation allows multiple symbols to denote identical pitches, violating syntactic disjointne...
This proposition has not been edited since the history system was added.