Prolegomena to a Theory of Fun — LessWrong