HonoreDB comments on Formalizing Value Extrapolation