Update design-implementation.tex

Just make it easier to read.