Vladimir_Nesov comments on Formalizing Value Extrapolation