ISA: + (a b -- y) Addition - (a b -- y) Subtraction