Tupper's self-referential formula의 역링크