Definition of "Platyhelminthes"