Motivating Abstraction-First Decision Theory — LessWrong