P
Initializing...
Incentive compatibility is equivalent to monotonicity · Prove2Me