8Halt_is_always_needed

Halt is always needed