User blog comment:Emlightened/Definition of Googology/@comment-80.98.179.160-20171225154103

If $$t\in t$$ then t contains itself, f->f is f implying f, $$f\and f$$ is only true when f, and alike for "f or f".