That was probably for the best.
This was probably the best solution.