Corrigibility or DWIM is an attractive primary goal for AGI — LessWrong