Eliezer Yudkowsky comments on Prolegomena to a Theory of Fun