If type identity is world-relative rather than necessary across all possible worlds, the counterexam...