Daniel Kokotajlo comments on Fixing The Good Regulator Theorem