started to implement +1 sector. (b^+b^+ ba) implemented. Next (b^+a^+aa) and (b^+a)