before simplify_values