Wenn man sagt ‘ne ne p’ könnte auch als aufgehobene Verneinung gebraucht werden, so soll das doch wohl heißen, daß, wenn wir die Regel in ne ne p = p veränderten, wir einen Kalkül erhalten, der sich ganz in den ersten übersetzen läßt.