The Mets made the moves they had to at the trade deadline, even if this wasn’t…