Corrigibility as Constrained Optimisation — AI Alignment Forum