add: State spec