Carl_Shulman comments on The Fun Theory Sequence