"President Reyes. Was his name ever mentioned?"