avoid redundancy in is_reduced functions