support added to multiple initial states;