Stuart_Armstrong comments on Double Corrigibility: better Corrigibility