Machen wir die Sache noch klarer durch die Annahme der beiden Frege'schen Urzeichen “non” und “ & , so bleibt hier die Entdeckung bestehen, wenn auch die Definitionen geschrieben werden non-p & non-p = non-p und non-(non-p & non-p) & non(non-q & non-q) = p & q . Hier hat sich an den Urzeichen scheinbar garnichts geändert.