, consisting of two terms, may or may not contain

; if it does, it introduces one new term; and if it does not, it must introduce two new terms, say

,

. In this case it is possible that

consists of