The evolution of ant worker polymorphism correlates with multiple social traits