Arissa Proofs