Дмитрий Зеленский comments on 3a. Towards Formal Corrigibility