Symbolic_logic loading ...