Abby Proofs