Update design_and_implementation.md