chaosmosis comments on Formalizing Value Extrapolation