Tupper's Self-Referential Formula