1993
Z Nonsensopedii, polskiej encyklopedii humoru
Wersja z dnia 12:58, 13 cze 2008 autorstwa Vae (dyskusja • edycje) (Przywrócono przedostatnią wersję, jej autor to Andrzej z Białegostoku. Autor wycofanej wersji to 83.24.8.210.)
Formuła 1 – formuła logiczna: A¹∀B¹(∀x¹(x¹∈A↔x¹∈B¹→A¹=B))¹.
Jaki cel mają godziny dla seniorów?