x
Safe plan identification and verification — LessWrong