AA b c (AA b c AA b c) AA b c
AA b c (a b c a b c) AA b c