What Are Proofs and Logical Reasoning?