Aggiunta logica di specifica