Design document draft and source tex.