Tupper's Self-Referential Formula - ok, someone definitely had way too much time.