negate
AdditiveGroup
AdditiveGroupFunctions
BoolRng