That's not how I would have explained the difference. Consider this. Here is how you define the-current-continuation: (define (the-current-continuation) (call/cc (lambda (x) x))) Now implement call/cc. Hint: The solution is in one of my early papers, including calculations. Hint-: It's not in the on-line biblio we just saw. So don't peek :-) More tomorrow -- Matthias