I certainly don't look forward to auditing a Solidity contract with the complexity of the federal tax code.