The Logical Basis of Phylogenetic Taxonomy | Synapse