negate
AdditiveGroup AdditiveGroupFunctions BoolRng