Mario - proofs