If humans can shovel dirt, then what are the ants for?