But if he continues to develop as a baseball player, come...

But if he continues to develop as a baseball player, come June 7 (the day of the baseball draft), there's still a chance. He'll have a tough decision.