Commit 2421ed928f23b9fd2f16b5b51355c85d74fab481

Joe Tsai 2015-11-02T03:34:42

Clarify pseudo-code in Section 10.