This seems to me to give what has, in fact, been generally meant in philosophy by necessary truths, eg by Leibniz; and to point out the distinction between them and those true universal propositions which are mere matters of fact.