“There are two kinds of truths: truths of reasoning and truths of fact.”