Ari Proofs