State.remove: updates completion as well.
Program: iterate use completion.