[SEQ RERUN] The Uses of Fun (Theory) — LessWrong