update: ch04-design_impl.tex