Protocol_composition_logic loading ...