negation
test programs