maybe we should write the tax code in Prolog or lojban.