Roko comments on The Fun Theory Sequence