Por eso el 7 de noviembre es el "Día de la Democracia Costarricense".