Added setup to specs and added constructors to next state classes