That’s not correct.
It’s three batters or the end of a half inning
Since Thompson got the last out in the eighth, he was under no obligation to pitch in the ninth
But once he started the ninth, he had to complete the three batters
So Torey could’ve either started someone else in the ninth...