include single initial state