Negation swaps ordering