paper/src/design.tex
changeset 6 189c28168c97