The psychology of proof: Deduction in human thinking