How about just a blanket statement with no assumptions: A and B may be the same part of C This would seem to be valid by the same reasoning! However it is only so if "may" ranges over all models of the language. If, as is usual, "may" only ranges over the possible worlds in a single model, it is not valid.

Only top voted, non community-wiki answers of a minimum length are eligible