Well, there's also that law which mandates that any algorithm used in an administrative decision must be explained in simple language upon request... but I am not certain that "administrative decisions" also covers the tax code ? (Though frankly, it should.)