I am only going off the rumours that are going around for Lindor. I said that trading Gurriel only made sense if we signed someone like Springer to best allocate our lineup. Otherwise, I agree with everyone, I would not trade him.
And let's not pretend like we're the Yankees or Dodgers who can sign any free agent of our choosing. If we have a chance to get an elite player, you make it happen assuming the costs are reasonable obviously.