To understand this, I translated it into Racket: https://gist.github.com/2214978