Reduced complexity for external | Negation Game