Re: Quibbling about definitions of "proof"