If identity is always sortal-relative, the inference from bare 'a = b' to shared sortal G commits a ...