Belgian proofs