gRR comments on Formalizing Value Extrapolation