How Many Different Ants Are There