List_of_enacting_formulae loading ...