 where \(\phi\) is the conjunction of the members of \(T^*\). (If \(T^*\) is infinite then a stipulation of the above form will be needed for each sentence \(\psi\) in  \(T^*\).)[11]  The definition is legitimate, according to the traditional account, so long as it meets the Conservativeness and Eliminability criteria. If it does meet these criteria, let us call \(T^*\) admissible (for a definition of X). So, the traditional account accommodates the idea that theories can stipulatively introduce new terms, but it imposes a strong demand: the theories must be  admissible.[12]