bad reduction