GHP_formalism loading ...