Amazing: Tupper's self-referential formula · HackerTrans