Necessary conditions for dominant strategy implementability of an allocation function on a restricted type space are identified when utilities are quasilinear and the set of alternatives is finite. For any one-person mechanism obtained by fixing the other individuals' types, the geometry of the...