Formal_logic loading ...