Michaël Trazzi comments on Corrigibility as Constrained Optimisation