Elementary_definition loading ...