Proof_BLUE_general.pdf