Mita Proofs