Modifica logica di specifica secondo la correzione.