Truth of reasoning and truths of fact?