I agree in making sure HRam's contract does not vest.
We could trade or DFA Holt ($2M+) and one from Leon & Swihart ($2M+).
We might get by without replacing Kimbrel and Kelly, but we'll probably need to acquire one good RP'er (via trade, if we're looking to save money).
We will need to replace Pom, if we want to stay highly competitive, assuming a drop off at closer.
Remember, the tax goes up for being 2 years over the limit, so we may not try to go just below the $40M over mark. We may try to just go over by $20-30M. That would create serious budget issues and would probably mean we trade Porcello, JBJ or Bogey.
We'll know more after this season about guys like Wright, ERod, Nunez, Devers, and maybe we unload some salary, if we trust an in-house replacement.
I do not think we have an in-house replacement for POM. Maybe Smith or Thornburg can replace Kimbrel, but Thornburg only has 2 years of team control left.