a b -- a-A a-B a-C a|A a|B a|C a_A a_B a_C b-A b-B b-C b|A b|B b|C b_A b_B b_C