A believer in natural kinds holds that nature is itself divided into different kinds and species, and that our predicates and classifications must coincide with these divisions: in one familiar metaphor, we must aim to ‘carve nature at the joints’. Opponents stress the historical, theoretical, and mutable nature of processes of scientific classification or taxonomy, insisting that we see joints only where we carve.