Tornou-se dispensável devido à recursividade infinita de reavaliações e dicotomias.