Those pitching prospects weren't acquired to develop. They're going to be chips to deal next July at the trade deadline.