Comment Re:Vaughn Pratt is confused (Score 1) 284
So does that mean the proof is valid for some suitable definition of universal and that the prize will be awarded?
Never test for an error condition you don't know how to handle. -- Steinbach