There are also two kinds of truths: truth of reasoning and truths of fact.