Formigas de correição, formiga-correição, tauoca, tanoca, taoca, sacassaia, saca-saia, murupeteca ou guaju-guaju é a designação comum a cerca de 200 espécies de formigas carnívoras, notórias por organizarem expedições periódicas de milhares de indivíduos. Wikipedia