explicative_definition