Algorithm TerminatorsΒΆ