negators
not defined yet