Initial States spec created.