Mitchell_Porter comments on Formalizing Value Extrapolation