Case Studies in Simulators and Agents — LessWrong