add(s(0), s(s(0)), X).

add(s(0), X, s(s(s(0)))).

add(X, s(0), s(s(s(0)))).

add(X, Y, s(s(s(0)))).

add(X, Y, Z).

add(s(X), X, s(s(s(0)))).

add(X, s(X), s(s(s(0)))).

add(s(s(X)), X, s(s(s(0)))).

mult(s(s(0)), s(s(s(0))), X).

mult(s(s(0)), X, s(s(s(s(s(s(0))))))).

mult(X, s(s(0)), s(s(s(s(s(s(0))))))).

mult(X, Y, s(s(s(s(s(s(0))))))).

mult(X, Y, Z).

mult(X, s(X), s(s(s(s(s(s(0))))))).

mult(s(X), X, s(s(s(s(s(s(0))))))).

mult(X, s(s(X)), s(s(s(s(s(s(0))))))).

mult(X, X, s(s(s(s(0))))).