Made negate function algebra-able