Imoni Proofs