Rename proof swap