Rinon comments on The Fun Theory Sequence