EB (proofs)