Our simple proofs plugin