Bel proofs