The very possibility of Frege's explanations of “not-p” & “if p then q”, from which it follows that not-not-p denotes the same as p, makes it probable that there is some method of designation in which “not-not-p” corresponds to the same symbol as “p”. But if this method of designation suffices for logic, it must be the right one.