Gunnar_Zarncke comments on When is Goodhart catastrophic?