Joe_Collman comments on Formalizing Policy-Modification Corrigibility