Beverly (proofs)