In “non-p & (non-non-p = p)” kann der zweite Teil nur eine Spielregel sein.