Thus our intuitive knowledge, which is the source of all our other knowledge of truths, is of two sorts: pure empirical knowledge, which tells us of the existence and some of the properties of particular things with which we are acquainted, and pure a priori knowledge, which gives us connexions between universals, and enables us to draw inferences from the particular facts given in empirical knowledge.