paperHow long is a Proof? - A short notearXiv:cs/0211026AbstractWithdrawn. Silly notion and out of context.Withdrawn