I'm glad you didn't. Your reasoning was perfectly sound. The fact that your answer got downvoted is simply further evidence that there are those who want to hold a position without genuinely considering the arguments in favor of the alternate position.

Ditto. And then celebrate them like crazy for every win and give them all the credit, even if you helped. Who wouldn't want to do their absolute best work in an environment like that?

> come up with a lot of true facts in different fields, all of which we can try writing down in this language.

Reminds me of Cyc.[1][2]

[1] www.cyc.com [2] en.wikipedia.org/wiki/cyc

I feel honored to be one of the 10,000 people who just learned of this particular xkcd reference today!

That's funny that I just had that idea around the same time that you must have been typing your answer. (See my adjacent answer). Actually thought it was probably a crazy idea and would get quickly downvoted. Quite surprised that there's already a Wikipedia article about it. Cool.