proof_text_bb1