Design docs for proj0 and proj0