--> {a,b} = {b,a}