paulfchristiano comments on Aligning a toy model of optimization