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