paper/src/design.tex
changeset 10 2283a18e186c