Addition and Subtraction Abstraction