The descriptions of raise and raise-continuable talks about the dynamic extent of continuations, but it is calls that have a dynamic extent, not continuations. Rephrase it in terms of continuations and dynamic environments. Hopefully someone will propose language for this.