Dynamic_epistemic_logic loading ...