3b. Formal (Faux) Corrigibility — AI Alignment Forum