Reasoning and Proofs