Runs in finite time.