Proof-suite