 The simplest case is not fully general in a few respects. First, theories often introduce many terms simultaneously, not just one. So the theory might introduce new terms t1, t2, …, tn. No problem, we can just quantify over n-tuples, where n is the number of new terms introduced. So instead of looking at ∃1x T[x], where ∃1 means ‘exists a unique’ and x is an individual variable, we look at ∃1x T[x], where x is a variable that ranges over n-tuples, and T[x] is the sentence you get by replacing t1 with the first member of x, t2 with the second member of x, …, and tn with the nth member of x. Although this is philosophically very important, for simplicity I’ll focus here on the case where a single theoretical term is to be introduced.