COQ将重命名