But do people really count 2400 ants manually?