Tupper's self-referential formula: Difference between revisions