In a single item auction model that allows non-quasilinear preferences, we show that an auction rule satisfies weak envy-freeness for equals, strategy-proofness, and nonimposition if and only if it is a (generalized) second price auction. This characterization is established on a wide class of...