1. Logic and Proofs