“…It is often convenient for evolutionary models to assume that each sequence of branching events that could produce a rooted binary tree for a set of labeled species is equally likely; this assumption, that of the Yule or Yule-Harding model in phylogenetics [1,13,15,20,27,28,30,33,35], produces a uniform distribution on labeled histories. Computations concerning features of tree shape for evolutionary trees often evaluate the probability that such features are produced under the Yule-Harding model, so that they directly or indirectly examine the fraction of labeled histories on y leaves that possess a given feature, or the probability distribution of a quantity across labeled histories [3,5,6,7,8,10,12,16,18,22,24,25,29,31,34,36,37]. Mathematical phylogenetics computations have used combinatorial results on the set of labeled histories for y species, for example employing a space of labeled histories with a notion of distance between them [26] and a characterization of the labeled topologies that possess the largest number of labeled histories [9,11,14].…”