This paper addresses how hard evidence can be incorporated intomechanismdesign analysis. Two classes of models are compared: (a) ones in which evidentiary decisions are accounted for explicitly, and (b) ones in which the players make abstract declarations of their types. Conditions are provided under which versions of these models are equivalent. The paper also addresses whether dynamic mechanisms are required for Nash implementation in settings with hard evidence. The paper shows that static mechanisms suffice in the setting of “evidentiary normality” and that, in a more general environment, one can restrict attention to a class of three-stage dynamic mechanisms.