Caspar Oesterheld comments on Formalizing Objections against Surrogate Goals