Sigh. I forgot that I distinguish between equality and instantiation/subsumption in my toy ontology language. So the last few paragraphs are WRONG WRONG WRONG. Ironically, I derailed from writing because I thought my examples were WRONG WRONG WRONG the other way. Now, I find I’ve hypercorrected to a VERY WRONG INDEED.