But wheresoever we can suppose such a creature as man is, endowed with such faculties, and thereby furnished with such ideas as we have, we must conclude, he must needs, when he applies his thoughts to the consideration of his ideas, know the truth of certain propositions that will arise from the agreement or disagreement which he will perceive in his own ideas.