We study implementability in dominant strategies of social choice functions when types are multi-dimensional, sets of outcomes are arbitrary, valuations for outcomes are convex functions in the type, and utilities over outcomes and payments are quasi-linear. Archer and Kleinberg [1] have proven that in case of convex sets of types and linear valuation functions monotonicity in combination with ...