From ordinal utility perspective, DP means that for every two alternatives
Single-winner voting rules that satisfy independence of irrelevant alternatives are strategyproof with dichotomous preferences.
The utility of each agent, under this mechanism, is the probability that one of his Good outcomes is selected.
The utilitarian mechanism averages over outcomes with the highest approval ratings.
Then a condition called generation monotonicity[jargon] is necessary and sufficient for implementation by a truthful mechanisms in any dichotomous domain (see Monotonicity (mechanism design)).
[citation needed] This result can be used to derive the optimal mechanism in a one-sided matching problem with agents who have dichotomous types.