Boyd's HPC theory shows that natural kind membership tolerates variation while still being underwrit...