P
Initializing...
Incentive compatibility forces weak monotonicity · Prove2Me