AS Pure: Proofs

2. Proofs by Deduction: Examples