A mathematical formulation of the tax code?
blog.merigoux.ovh