If Texas loses to A&M, are we in SEC Championship?