refactoring diminuisci, valore, exit