Is equality compatible with hierarchy?