That code is only allowed in a partial context, right? So if you don't propagate it all the way up the call stack, what do you do instead?