Oh, I got rid of it years ago. Thanks though. Eventually a big-name mathematician (who some years later won a Fields medal) waded into the discussion and sided

Oh, I got rid of it years ago. Thanks though. Eventually a big-name mathematician (who some years later won a Fields medal) waded into the discussion and sided with me. I used my real name in that discussion so I won't give more detail than that :)