Tax law is not arbitrarily complicated, and unexpected edge cases are settled by human judges, not by mathematical proofs.