Nothing is more reasonable than to suppose that if two names, A and, and a single set of properties, are such that a certain speaker believes that the referent of A uniquely satisfies all of and that the referent of also uniquely satisfies all of, then that speaker is committed to the belief that A and have the same reference.