Aggiunte le nuove scoperte sulla pseudofinitezza.