“…By the Bowen property on G 1 at scale ε > 6ρ, we obtain ( f t p (y), ρ), and remark that it is a disjoint union due to f t p (E t ) being (T(t), 2ρ)-separated11 . By the lower Gibbs property on G 1 in lemma 7.1 at scale ρ, it follows thatμ(V t ) =On the other hand, since E t ⊂ E t ∩ U t , we have Since U t is a union of elements of the partition A t which is adapted to the (t, 4ρ)-separated set E t , we see that for every y ∈ E t ∩ U t , there is a y ∈ Q t such that d t (y, y ) < 4ρ; this further implies that d T(t) ( f t p (y), f t p (y )) < 4ρ.…”