a (x) = x(b)
b (x) = x(a)
a (b)