f(f(x)) -> x
f(+(x,y)) -> +(f(x),f(y))
+(x,+(y,z)) -> +(+(x,y),z)