Phylogenetic nomenclature, hierarchical information, and testability