Formalizing Value Extrapolation — AI Alignment Forum