A competent speaker can know the referent of both names yet rationally withhold judgment on identity...
This proposition has not been edited since the history system was added.