BOG proofs