allow consideration of multiple initial states