informs proofs_854