added missing declaration for negate and -