There are, first of all, some propositions which assert relations of ideas there are, secondly, propositions which assert matters of fact which we ourselves are actually observing, or have observed and now remember; and there are, thirdly, propositions which assert matters of fact which we have never actually observed, but for believing in which we have some foundation in our past observations.