fig-dont-care-optimization.png