Dependent nullify and spec