The claim conflates what type-identity theory actually requires with an overly rigid interpretation ...
This proposition has not been edited since the history system was added.