Definition:Primitive Subtraction