Alex_Altair comments on Fixing The Good Regulator Theorem