u=st,c=at,b=a+2,abc=a(bc),ab=ba,(a+b)c=ac+bc,a+b=b+a,a-b-c=a