Are we out if we lose to Texas?