+\details{
+ Using \code{check.labels = FALSE} results in
+ considerable decrease in computing times. This requires that all
+ trees have the same tip labels, \emph{and} these labels are
+ ordered similarly in all trees (in other words, the element
+ \code{tip.label} are identical in all trees).
+}