negations
not defined yet