martinkunev comments on 3a. Towards Formal Corrigibility