One comments on 3a. Towards Formal Corrigibility