Abby proofs