Wenn man sagt “ne ne p” könnte auch als aufgehobene Verneinung gebraucht werden, so soll das doch wohl heißen, daß der Kalkül mit der Regel ne ne p = p sich ganz in einen mit der Regel ne ne p = ne p übersetzen läßt.