TurnTrout comments on Formalizing Policy-Modification Corrigibility

[TurnTrout]

I skip over those pragmatic problems because this post is not proposing a solution, but rather a measurement I find interesting.