4 - BEP proofs