Keep working on design.md.