Talk:Tupper's self-referential formula