Win or lose, Beto O’Rourke will help Texas Democrats