martinkunev comments on Improvement on MIRI’s Corrigibility