Bri proofs