Stuart_Armstrong comments on Value extrapolation partially resolves symbol grounding