This paper studies mechanism design under the level-k solution concept. The first result gives a general necessary condition for a social choice rule to be level-k implementable. In some environments, this necessary condition is equivalent to Bayesian incentive compatibility, making level-k...