Dependent specifications