mod proofs