Daniel Kokotajlo comments on Automating Auditing: An ambitious concrete technical research proposal