Treviño, ambos destacados generales revolucionarios que habían ocupado importantes cargos gubernamentales.