Shortened design document, which was sent to learn.tsinghua.edu.cn