Transcription: In the termination model, when an exception is thrown, control never returns to the throw point. Therefore, you don't need to be concerned about the possibility of unresolved exceptions generating infinite loops. These infinite loops just can't happen.