Renaming the solutions