informs proofs_852