Reasoning and Proof in Mathematics