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