Title: How Many Ants?