current state subgroup of state, 15 assertions