1: \begin{definition}[Very strong separation] We say that the self-similar set $K$ satisfies the \emph{very strong separation condition}, if the first generation balls of $K$ are disjoint. This degree of separation will be convenient to us, and it is stronger than the commonly used notion of 'strong separation', which merely requires that $\psi_{i}(K) \cap \psi_{j}(K) = \emptyset$ for $1 \leq i \neq j \leq q$ (the strong separation assumption in Theorem \ref{HSthm} refers to this mainstream definition). Under either of these conditions, it is well-known, see \cite{Hu}, that $\dim K$ equals the unique number $s \in (0,2]$ solving the equation

2: \begin{displaymath} \sum_{j = 1}^{q} r_{j}^{s} = 1. \end{displaymath} 

3: \end{definition}

4: