Tupper's self-referential formula | Dark Hacker News