This is because the ``simpify(And((((x,y+z))))) == (x, y+z)``. I think this is due to the fact that And requires two parameter and using parameters only gives one parameter.