Cyan2 comments on Prolegomena to a Theory of Fun