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