Draft or Trade Down

To me there are only 3 players that are worthy of our #9 pick Carter, T-Mac and Graham. If they are not there , my 1st choice is to trade back to 13 and take Warren even if all we get is a 3rd. I'd also have no problem trading back with Dallas if they want Jeanty and taking Warren @ 12 and picking up a 3rd.
If those 2 options are not there and Denver wants Jeanty I'd trade back to 20 and get a 2nd and a 4th and take BPA @ Edge, DT, or maybe Loveland if he's there. I'd try and shoot for Tre Harris in the 2nd