Negation is handled properly now.