AGI safety from first principles: Introduction — LessWrong