The GENERALIZE state in the IP model.

The GENERALIZE state in the IP model.