negating

not defined yet