arnesa Proofs