Hi: If anyone reading this has known about the following webpage before and did not post it here then they better have some excuse: http://www.math.pitt.edu/~thales/flyspeck/index.html Are we joining the effort? -- Piotr Rudnicki CompSci, University of Alberta, Edmonton, Canada http://web.cs.ualberta.ca/~piotr