[SEQ RERUN] Prolegomena to a Theory of Fun — LessWrong