Section 1~2 written.
Merge branch 'master' of https://github.com/dreal/paper
Section 3 intro