Well-defined_expression