tuppers self-referential formula