Tax complexity itself is a kind of tax.