Assertion by negative of opposite