Depends. If Dombrowski hasn't had enough punishment from Stearns already and comes calling saying, 'Hey Dave, we're 3.5 back of the Yanks and really want to add a big piece. We really like Domingo Santana, enough that we're willing to offer Devers', then I'd trade Santana. Total hypothetical among thousands of different hypotheticals. Just point being that anyone is available for the right price.