In Defense of a Butlerian Jihad — LessWrong