abramdemski comments on Fixing The Good Regulator Theorem