aMarked_abzyxa(b(a(x)))b(a(x))a(b(a(x)))b(a(x))