Käme dann einer und gä[g|b]e die Definition non- p & non- q = p|q, so hätte er freilich nur eine an sich unwesentliche Abkürzung eingeführt, aber sie wäre der Ausdruck einer Entdeckung in dem Sinne, dass sie einen bestimmten neuen Aspekt betont. (Russell hat richtig darauf hingewiesen, dass die Bedeutung von Definitionen [i|o]ft auf diesem Betonen beruht.)