If the tax law is inconsistent (as some of the comments seem to indicate), does that mean that we don't have to pay any tax or even are entitled to a large tax credit? After all, Lean supports the principle of explosion (https://en.wikipedia.org/wiki/Principle_of_explosion).