cousin_it comments on Formalizing Value Extrapolation