A mathematical formulation of the tax code? · HackerTrans