Vladimir_Nesov comments on Prolegomena to a Theory of Fun