CAST: Corrigibility As Singular Target — LessWrong