proof_ew