( Z(1;2;3,4;5;6,) {} {} {}; K(a, bazz:2,) )