This is actually an excerpt from Jazzy Jeff's PhD thesis.