johnswentworth comments on Fixing The Good Regulator Theorem