final states indicator