... And the tax code written in Python