ADD: Halting should work now.