resolve first halting case