How does Tupper’s self-referential formula work? | Hacker News Reader