example for use of negate