Tag per "initial-state"