Yes, but then where would we be without all those endless squabbles about X which are easily solved by pointing out that A::X != B::X?