Symbolic_system loading ...