Universes in dependent type theory I am reading about dependent types theory in the Homotopy Type Theory online book. 

In section 1.3 of the Type Theory chapter, it introduces the notion of hierarchy of Universes: $\mathcal{U}_0 : \mathcal{U}_1 : \mathcal{U}_2 : \cdots$, where


  every universe $\mathcal{U}_i$ is an element of the next universe $\mathcal{U}_{i+1}$. Moreover, we assume that our universes are cumulative, that is that all the elements of the $i^{\mathrm{th}}$ universe are also elements of
  the $(i+1)^{\mathrm{th}}$ universe.


Yet, when I look at the formation rules for the various types in appendix A, at first glance, if a universe appears above the bar as a premise, the same universe appears below. For instance for the coproduct types formation rule:

$$\dfrac{\Gamma \vdash A : \mathcal{U}_i \quad \Gamma \vdash B : \mathcal{U}i}{\Gamma \vdash A + B : \mathcal{U}_i}(+\mbox{-}FORM)$$

So my question is why is a hierarchy necessary? Under what circumstances do you need to jump from a universe to one higher in the hierarchy? It is really not obvious to me how given any combination of $A_m: \mathcal{U}_i$, you can end up with a type $B$ that is not in $\mathcal{U}_i$. In more details: the formation rules in sections of the appendix A.2.4, A.2.5, A.2.6, A.2.7, A.2.8, A.2.9, A.2.10, A.3.2, either mention $\mathcal{U}_i$ in the premise and judgement, or just in the judgement. 

The book also hints that there is a formal way to assign universes: 


  If there is any doubt about whether an
  argument is correct, the way to check it is to try to assign levels consistently to all universes appearing in it.


What is the process for assigning levels consistently?

$\mathcal{U}:\mathcal{U}$ would lead to the Russell paradox.
Avoiding the Russell paradox is explicitly mentioned in the book (page 24). It also goes into more details page 54, 55 that is uses “Russell-style universes” rather than “Tarski-style universes”. So at a very high level, I take for granted that the theory wants to avoid the paradox. Unfortunately I don't have the background to make sense of out that directly. What I am after in this question, is really just scratching the surface by getting some examples of things in $\mathcal{U}_j$ and not in $\mathcal{U}_i$ for $j &gt; i$ and may be anything else that give me a feel for how the hierarchies work.
The question under what circumstances we need to jump from a universe to one higher in the hierarchy is a good one. Having the hierarchy and the ability to climb it is important. You need to jump levels when you want to treat a universe as a type or as part of a type. For example to define functions of (non-dependent) type
$$
   A \rightarrow \mathcal{U}_i
$$
you must show that $A \rightarrow \mathcal{U}_i$ is in a universe.
But that cannot be  $\mathcal{U}_i$ or some smaller universe. So what do we do? To deal with the problem (without using the unsound $\mathcal{U}_i : \mathcal{U}_i$), we need to jump up a universe. The rule that
enables us to make this jump is $\mathcal{U}$-Intro
$$
   \frac{\vdash \Gamma : ctx}{\Gamma \vdash \mathcal{U}_i : \mathcal{U}_{i+1}},
$$
given in Appendix A.2.3. The very point of the hierarchy of universes is that we can do this. This can be seen as a safe approximation of having universes contain themselves.