The formal goal is a pointer — LessWrong