A necessary and sufficient condition for dominant strategy implementability when preferences are quasilinear is that, for any individual i and any choice of the types of the other individuals, all k-cycles in i's allocation graph have nonnegative length for every integer k � 2. Saks and Yu...