Stuart_Armstrong comments on A first look at the hard problem of corrigibility