tupper’s self-referential formula