Semantics for addition.