We study mechanism design problems in quasi-linear environments where the envelope theorem and revenue equivalence principle fail due to non-convex and non-differentiable valuations. We obtain a characterization of incentive compatibility based on the Mirrlees representation of the indirect...