Alpha renaming on kaplansky