Xodarap comments on Formalizing Objections against Surrogate Goals