Isn't the halting problem about knowing all future states and not a future state?