User talk:Vaughan Pratt
From Wikipedia, the free
encyclopedia