Enumerative_definition loading ...