In this paper, we show that if φ(x; y) is a dependent formula, then all φ-types p have an extension to a φ-isolated φ-type, p′. Moreover, we can choose p′ to be a elementary φ-extension of p (see Definition 2.3 below) and so that |dom(p′)− dom(p)| ≤ 2 · ID(φ). We show that this characterizes φ being dependent. Finally, we give some corollaries of this theorem and draw some parallels to the stab...