DefinitionAnd