initial state subgroup of state, 8 assertions