proof_text_bb6