removed state dependcies from specs