Muchos integrantes del Ejército Revolucionario de Sur eran civiles de Malinalco.