Hypothetical Cap if we cut or trade players

[Luvnit2]

Bengals have around 18 million left in 2023 cap space.
Williams trade would net 12.6 million, so 30.6 million if just trade Jonah.
Mixon 2023 Cap:
Joe Mixon RB $9,400,000 $2,000,000 $411,754 - $200,000 $750,000 - ($5,500,000) $12,761,754 5.63

If cut or traded, 5.5 million dead cap, but net of 7.2 million in 2023, so now 37.8 million.
Mixon also under contract in 2024:Joe Mixon RB $9,683,205 $2,000,000 $500,000 - $200,000 $750,000 - ($2,750,000) $13,133,205
Cap Hit / Club
4.64

So since dead money was taken in my scenario in 2023, entire 13.1 million would cap savings in 2024.

Mixon makes a ton of money, I see us trying to restructure his deal or ask him to take a pay cut. If not, I don't see him being a Bengal in 2024, but I do see him staying for 2024.