[deleted] comments on Formalizing Value Extrapolation