Setting » informs proofs_861