Mateusz Bagiński comments on Fixing The Good Regulator Theorem