Stuart_Armstrong comments on Defeating Goodhart and the “closest unblocked strategy” problem