Since he never lost it and is still the lineal champion or is it still vacant now? Because if he wins and fights Pac, Pac would be going for a 7th division title (assuming it's at WW) technically, right?