Doxastic_logic loading ...