 ‘Whatever thinks exists,’ ‘Any necessary being exists’, ‘That which is immediately known exists’: such statements of sufficient conditions for existence are prominent in metaphysical debates. But, somewhat surprisingly, they are not expressible in free logic. Their apparent form is \(\forall x(A \rightarrow \rE!x)\). But because the universal quantifier ranges just over \(\bD\), which is also the extension of E!, this form is valid in free logic—as it is in classical logic with \(\rE!x\) expressed as \(\exists y\,y=x\). No statement of this form—not even ‘all impossible things exist’—can be false. Hence on free logic all such statements are equally devoid of content. Argument evaluation suffers as a result. Consider, for example, the obviously valid inference: