working combinator of terms, need to repeat categories