libertad regulada previamente analizado. En especial, las Resoluciones CRA 688 de 2014(8) y CRA 825 de 2017(9) (compiladas en la Resolución CRA 943 de 2021) constituyen las metodologías tarifarias para los servicios públicos domiciliarios de acueducto y alcantarillado. Estas metodologías contemplan fórmulas que permiten a los prestadores calcular las tarifas que aplicarán a sus usuarios. Valga indicar que estas fórmulas tienen una vigencia de cinco (5) años, conforme con lo previsto en el artículo 126 de la Ley 142 de 1994, salvo que exista modificación en los términos planteados en dicha norma. Ahora, mientras se encuentran vigentes las fórmulas tarifarias de los prestadores, pueden presentarse variaciones que justifiquen la actualización de las tarifas que estos cobran. Al respecto, el artículo 125 de la Ley 142 de 1994.