Corrigibility or DWIM is an attractive primary goal for AGI — AI Alignment Forum