Epistemic_logic loading ...