Inserimento logica di specifica nel main.