Intensional_definition loading ...