Partially implemented addition