Ebony (proofs)