 Locke makes the point that some things could be discovered both by reason and by revelation—God could reveal the propositions of Euclid’s geometry, or they could be discovered by reason. In such cases there would be little use for faith. Traditional revelation can never produce as much certainty as the contemplation of the agreement or disagreement of our own ideas. Similarly revelations about matters of fact do not produce as much certainty as having the experience oneself. Revelation, then, cannot contradict what we know to be true. If it could, it would undermine the trustworthiness of all of our faculties. This would be a disastrous result. Where revelation comes into its own is where reason cannot reach. Where we have few or no ideas for reason to contradict or confirm, these are the proper matters for faith.