More automation in the tax system could shrink the difference between the amount of tax that should be collected by HMRC and ...