Don't we want to catch Terminated here?