1: \begin{abstract}

2: We initiate a systematic study of the class of theories without the

3: tree property of the second kind --- $\NTP_{2}$. Most importantly,

4: we show: the burden is ``sub-multiplicative'' in arbitrary theories

5: (in particular, if a theory has $\TP_{2}$ then there is a formula

6: with a single variable witnessing this); $\NTP_{2}$ is equivalent

7: to the generalized Kim's lemma and to the boundedness of ist-weight;

8: the dp-rank of a type in an arbitrary theory is witnessed by mutually

9: indiscernible sequences of realizations of the type, after adding

10: some parameters --- so the dp-rank of a 1-type in any theory is always

11: witnessed by sequences of singletons; in $\NTP_{2}$ theories, simple

12: types are co-simple, characterized by the co-independence theorem,

13: and forking between the realizations of a simple type and arbitrary

14: elements satisfies full symmetry; a Henselian valued field of characteristic

15: $(0,0)$ is $\NTP_{2}$ (strong, of finite burden) if and only if

16: the residue field is $\NTP_{2}$ (the residue field and the value

17: group are strong, of finite burden respectively), so in particular

18: any ultraproduct of $p$-adics is $\NTP_{2}$; adding a generic predicate

19: to a geometric $\NTP_{2}$ theory preserves $\NTP_{2}$.

20: \end{abstract}

21: