An Existence Theorem for OR/MS | Synapse