I guess that’s one way of looking at it.
But I think it is more straightforward to focus on the magic number with respect to one team at a time and reduce it as the Brewers win or the other team loses.
When you start getting into multiple team scenarios it can get tangled. I remember last year there was some difference of opinion about whether or not the Brewers had clinched a playoff spot because of how 3 team tiebreakers work. In a 3 team tie the Brewers tiebreaker over AZ might not be determinative
Beacuase this will most likely resolve itself within a week, I can wait until then to see what the situation is