Tupper's Self Referential Formula