The Future of the TPTP World
Status Quo
Quo Vadis
Ad Meliora
The End - Any Questions?
