Tupper's Self-Referential Formula - ok, da hatte jemand definitiv viel zu viel Zeit.