Rohin Shah comments on Automating Auditing: An ambitious concrete technical research proposal