That's how I see it, although it's no sure thing we bring Betts back after a reset.
IMO, we should trade JD, Betts and JBJ plus maybe some players that will be FAs after 2021, reset the tax and go for Betts and others after 2020.
By trimming the budget by a lot, we could also look to sign a free agent or two this winter, keeping us under the tax line, but with an eye on rebuilding for 2021 and beyond. (Nothing mega, but a few helpful moves to fill anticipated holes in 2021- 1B, 2B, Pen, SP...)