Si la bandera era de ellos, y la ejecuta y cumple el Presidente de la República.