Ava proofs