defined CondExpression