,

,

, and so introduces no new terms, but in that case

must introduce a new term. The first

classes