Download as PDF

Tupper's self-referential formula