Support reentrance and asynchronous transitions

Does that language imply that we'll throw?  In the even that you never call it, we can't.