Tupper's Self-Referential Formula
en.wikipedia.org