Baylor playing now a man down

A red card with 20 minutes to go in the 1st half has Baylor playing down a man for the rest of the game. Baylor and TCU will advance with the winner of the game winning the group. If the game ends in a tie, Baylor would win the group.