Vladimir_Nesov comments on The Fun Theory Sequence