VojtaKovarik comments on Formalizing Objections against Surrogate Goals