First page Back Continue Last page Overview Graphics

Equivalent State Assignments (Definition 2)