Negative_definition loading ...