Negotiated Reasoning: On Provably Addressing Relative Over-Generalization