 The logical myth that “You cannot prove a universal negative” is itself a universal negative. So it implies its own unprovability. This implication of unprovability is correct but only because the principle is false. For instance, exhaustive inspection proves the universal negative ‘No adverbs appear in this sentence’. A reductio ad absurdum proves the universal negative ‘There is no largest prime number’.