Hehe: Tupper’s Self-Referential Formula