not checking any news sites, no twitter etc., then I got a text from my brother with the trade news during lunch. Then spent 45 minutes on baseball ref, prospect ratings, etc.

It's certainly exciting to have Lindor and Carrasco. I'll be sad to see Rosario and Gimenez go, and I have to admit I don't know much about the prospects the Mets are giving up. This will definitely make them better in 2021, and I think/hope they will sign Lindor long term. I hated the Cano/Kelenic trade from day 1, but I'm on board with this one.