Recursive_definition loading ...