We examine the marriage tax in a formal setting. We begin with precise statements of the basic normative principles in the literature and proofs of old and new impossibility claims. Along the way we document and resolve important ambiguities in the existing literature. We then characterize the...