Does A&M winning that game help Texas?