Add state_spec