Die Verneinung muss mit zu der Konstruktion gehören.
Und zwar muss z.B. in jedem Symbolismus non-p non-non-p = p- sein.