M family proofs