Seol mar théacs é seo: From optimal tax theory to tax policy