tag :: two-phase termination