Ave Proofs