Narrowing_of_algebraic_value_sets