Sex ratio strategies in Formica ants