novalis — LessWrong