Initial states and skeleton
Initial spec handling