There are also two kinds of truths, those of reasoning and...

There are also two kinds of truths, those of reasoning and those of fact. Truths of reasoning are necessary and their opposite is impossible: truths of fact are contingent and their opposite is possible. When a truth is necessary, reason can be found by analysis, resolving it into more simple ideas and truths, until we come to those which are primary.