I don't think trading Provorov for a pick, even a pretty good one, instead of letting him walk (if that's how it's gonna be) is necessarily the "big picture, gotta think about the future" kind of move some people frame it as. I see the logic and asset management angle and there's a very real and easily quantifiable cost to keeping him just to lose him later for nothing, but there's also a cost to not giving the team the best chance possible when they have showed they could be ready to move on to the next phase, it's just more fuzzy and there's no number you can put on it.