Machines of Faithful Obedience — LessWrong