Rimosse randomFormula e aggiunti dei return