lattice renaming