In this section we build on a result from [1]} to demonstrate that, under mild conditions, the rooted tree topology is identifiable under a non-stationary, strand-symmetric Markov model from the pairwise distributions of states at terminal nodes.
