I like the thought process.Draft Chase Young, steal Yannick Ngakoue from the Jags in free agency, add another run stuffing dt, get Howard healthy, bring back Talib in 20220 and the draft Surtain Jr in 2021 to replace Talib. Keep getting growth from Wilkins, Godchaux, Baker, McMillian, Biegle and Charlton. You would have the makings of a pretty good defense.
One comment though, Talib isn't under contract, and who knows what it takes to sign him.
That trade was basically buying a draft pick, with no cap implications going forward. I'm not sure they intended that he ever play a down in a Dolphin uniform.