Orthogonal of the context stack, something like this *must* be integrated to ensure integrity if an exception is thrown. I have not contrived a way to sabotage the current approach to illustrate the necessity of this, but I suspect it involves calling super twice from a parent context of a super call. Or something like that.