On The Formal Definition of Alignment — LessWrong