Should add \\(X^{neg^{op}} \\) for completeness.