in all the ideas a man has in his mind: he knows each to be itself, and not to be another; and to be in his mind, and not away when it is there, with a certainty that cannot be greater; and, therefore, the truth of no general proposition can be known with a greater certainty, nor add anything to this.