History

for article: Tupper's self-referential formula