evhub comments on Automating Auditing: An ambitious concrete technical research proposal