Label 'operator' replaced by 'Operator between terms'