paper/src/design.tex
changeset 5 706257e41de3