martinkunev comments on Non-Obstruction: A Simple Concept Motivating Corrigibility