fixed negation

it's somewhat ugly

test plan: make test