AS Pure: 8. Proofs