endoself comments on Formalizing Value Extrapolation