1: \begin{definition}

2: \label{definitionBIM}

3: Given an $\R$-tree $X$ and a parameter $\lambda > 1$, the maps $\Psi_\lambda$ and $\pi_\lambda$ will be called the \emph{BIM embedding} and the \emph{BIM representation} with parameter $\lambda$, respectively. (Here BIM stands for M. Burger, A. Iozzi, and N. Monod, who proved the special case of Theorem \ref{theoremBIM} where $X$ is an unweighted simplicial tree.)

4: \end{definition}

5: