Not just that, but the violation that it caught directly led to the outcome: bonking the ball off the Oklahoma player sent it out into open space where a recovery was much more likely. This wasn’t calling a play back because of some holding on the other side of the field or something.