Myerson and Satterthwaite study the following requirements that an ideal mechanism should satisfy (see also Double auction): .
3. Nash equilibrium Incentive compatibility (NEIC): for every agent, if the other agent reports the true value, then the best response is to report the true value too.