 if they do trade that number four pick, but as part of the trade itself. But that doesn't mean it has to be today. They could very well select a player, but then they wound up trading that player later on this summer.