definition_for