1.6 Simple deductive proofs