change is_reduced to use definition