A mathematical formulation of the tax code? | Dark Hacker News