Das Gegenteil von “es || φ darf nicht vorkommen” heißt “es || φ darf vorkommen”. Für ein endliches Stück der Reihe aber scheint das Gegenteil von “es || φ darf in ihm nicht vorkommen” zu sein: “es || φ muß darin vorkommen”.