Texas & Oklahoma are "official" SEC members July 1