User blog comment:LittlePeng9/Creating fast-growing function/@comment-25418284-20130424174454

Next would be an operator that detects a paradox.