negated

not defined yet