Tupper's Self-Referential Formula [wiki]