no isTerminate-check here?