Optimization and Adequacy in Five Bullets — LessWrong