Definition of "renamings"

renamings