The implicit and explicit design of income tax systems