Update design-implementation.tex