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