History of reasoning