I liked the one about music. If you’ve read a few partition, you’ll quickly realize music writing is more guidelines than actual rules. There are different ways to represent the same sequence of notes, and the choice made by the compositor conveys meaning. It’s more akin to a short story than a math formula really. And so, you cannot represent music programmatically without allowing some free-form input somewhere.