add1(2) = (3).

add2(1, 3).
