I like the formulation with Gibbard’s 1978 theorem about “straightforward” games. It gives necessary (but not sufficient) conditions for the best play in a mec

I like the formulation with Gibbard’s 1978 theorem about “straightforward” games. It gives necessary (but not sufficient) conditions for the best play in a mechanism to only depend on each player’s own preferences over the potential outcomes, where knowing how others will likely make moves is of no benefit.