Jai'oshea and Mario Proofs