AS PURE: 8. Proofs (AS)