+(x,0()) -> x
s(x) -> x
p(x) -> x