Counting ants 1-2-3 by Brian Enslow