further support for initial states