Aif(ab)x=x+;Bif(ab)x=x+;Cif(a=b)x=x+;Dif(x)x=x+;