“…Since N i only has one triple junction in B r (0) × (0, min{T i , T }) and no closed loops, it implies that any tangent flow at (x, T i ), where x ∈ B r (0), is a smooth, self-similarly shrinking network without closed loops and at most one triple junction. Since N i is Y -regular, Lemma 7.1 together with (4) implies that N i is smooth in a neighbourhood of (x, T i ). Thus T i ≥ T .…”