"Additive Inverses" models how to solve problems by combining additive inverses.