Remember, CALL-WITH-CURRENT-CONTINUATION never creates a new continuation but rather simply reifies the one it was called with. But this certainly does not mean that (call/cc (lambda (k1) (call/cc (lambda (k2) (or (eq? k1 k2) (eqv? k1 k2)) )) )) is true albeit similarly reified (not created) continuations are compared. Christian.