proof_w_text