* And doesn't EY have this whole thing about how you can't just wish away coordination problems?! (Although, this also makes it harder to escape the self-ID Schelling point)
* Schild's ladder—noun classes in other languages are already pretty arbitrary; if the proposal is to make names like that
* TODO: buff my "circular definition satisfies no one" argument to not be vulnerable to the anti-Liskov-substitution property of natural language definitions
* And doesn't EY have this whole thing about how you can't just wish away coordination problems?! (Although, this also makes it harder to escape the self-ID Schelling point)
* Schild's ladder—noun classes in other languages are already pretty arbitrary; if the proposal is to make names like that
* TODO: buff my "circular definition satisfies no one" argument to not be vulnerable to the anti-Liskov-substitution property of natural language definitions