Must we add a fourth class consisting of propositions which resemble the two last, in respect of the fact that they do assert matters of fact, but which differ from them, in that we know them neither by direct observation nor by memory, nor yet as a result of previous observations?