Dual-Process Theories of Deductive Reasoning: Facts and Fallacies