Passing tests for negate()