Max Harms comments on 3a. Towards Formal Corrigibility

[Max Harms]

Thanks for noticing the typo. I’ve updated that section to try and be clearer. LMK if you have further suggestions on how it could be made better.