negatedness

not defined yet