Mets deal: Baez and Trevor Williams come for Pete Crow Armstrong

— Jon Heyman (@JonHeyman) July 30, 2021