tailcalled comments on A Certain Formalization of Corrigibility Is VNM-Incoherent