 \(t_i\) designates, according to this definition schema, the i-th component in that sequence of entities that uniquely realizes TC. If there is no such sequence, \(t_i (1 \le i \le n)\) is denotationless. But even if a theoretical term \(t_i\) fails to have a denotation, the definition \(D_i\) of this term remains true as long as the complete language \(L(V_o,V_t)\) is interpreted in accordance with the postulates CL1–CL3, thanks to the use of free logic.