non³non²-p = p ist ja nicht eine nachträgliche Beschreibung der Verneinung. Von der man fragen könnte, ob sie schon früher gestimmt hat. Das ist die Versuchung, es so anzusehen.