Rohin Shah comments on Formalizing Objections against Surrogate Goals