When pavement ants (the little reddish brown ants you see in sidewalk cracks) have intra-species war they use the concept of a one-to-one correspondence to determine who has a larger army.

Ants pair off locking jaws with another ant of similar size.

Any leftover ants from the larger colony will gang up two on one against the other colony.

Then based on things only ants know either they all go home OR one colony overwhelms the other.

But most of the time only a few ants die.

@futurebird What does “overwhelm” mean?

The notion of “counting” by pairing up is kinda amazing.

@michaelgemar @futurebird

It really is amazing, isn't it.

Such pairing up is what the set theorist of the 19th century did when they defined the "size" of a set by matching two sets element-by-element, and here we see that these ant colonies had used the same definition all along! And doing so saved lives! Brilliant.