paulfchristiano comments on Double Corrigibility: better Corrigibility