Using an old logician's trick (see eg Feferman on paths thru O, or even Goedel's original papers) as an April Fool joke may be amusing to some within the closed gates of a British University, but is irresponsible on the world network. Think of the hundreds of lurkers (who hesitate to speak up so that misconceptions can be discussed and clarified openly, but) who are now furthering the rumor that mathematics has somehow been proved inconsistent.The waves of such disinformation can last for years or even decades. ******************************************************************************* F. William Lawvere Mathematics Dept. SUNY wlawvere@acsu.buffalo.edu 106 Diefendorf Hall 716-829-2144 ext. 117 Buffalo, N.Y. 14214, USA *******************************************************************************