Bringing reason to phenotype diversity, character change, and common descent
Reasoning over phenotype diversity, character change, and evolutionary descent
