We study mechanism design in quasi-linear environments when there are two alternatives. We show that under a mild range condition, every implementable deterministic allocation rule is a generalized utility function maximizer. In unbounded domains, if we replace our range condition by an...