Eli Tyre comments on Prolegomena to a Theory of Fun