make proofs
some supp mat