Tupper's self-referential formula
en.wikipedia.org