  In a recent paper [arXiv:1506.06649 [nlin.CG]], we presented an example of a
3-state cellular automaton which exhibits behaviour analogous to degenerate
hyperbolicity often observed in finite-dimensional dynamical systems. We also
calculated densities of 0, 1 and 2 after n iterations of this rule, using
finite state machines to conjecture patterns present in preimage sets. Here, we
re-derive the same formulae in a rigorous way, without resorting to any
semi-empirical methods. This is done by analysing the behaviour of continuous
clusters of symbols and by considering their interactions.
