tweak liouvilles_theorem section