 Its natural formalization in free logic is \(Ti, \forall x(Tx \rightarrow \rE!x) \vdash \rE!i\). But this form is invalid. To obtain the conclusion, we must first deduce \(Ti \rightarrow \rE!i\) by specification from the second premise and then use modus ponens with the first. But since the logic is free, specification requires the question-begging premise \(\rE!i\).