dresch_ex_13_3_b_fix