Renaming: terminate -> exhaust.