«Προτείνω να κρατήσουμε τον καταξιωμένο απο την πολύχρονη χρήση τεχνικό όρο <απόδειξη> για ένα νοητικό πείραμα το οποίο αναλύει την αρχική εικασία σε υποεικασίες ή λήμματα, ενθέτοντας έτσι αυτή την εικασία σε ένα πιθανόν εντελώς διαφορετικό σώμα γνώσεων.»