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