Symbolic_systems loading ...