Full name for Prof. Sussman?
Merge pull request #31 from pavpanchekha/patch-1

Full name for Prof. Sussman?