Aggiunto algoritmo correttezza