jessicata comments on Petrov corrigibility