  We prove that in theories without the tree property of the second kind (which
include dependent and simple theories) forking and dividing over models are the
same, and in fact over any extension base. As an application we show that
dependence is equivalent to bounded non-forking assuming NTP_2.
