 Dependence logic and NPTIME:  For any dependence logic sentence \(\phi\), the class of all finite models which satisfy it is in NPTIME. Furthermore,for any NPTIME class \(\mathcal K\) of finite models, there exists a dependence logic sentence \(\phi\) such that \(M \models \phi\) if and only if \(M \in \mathcal K\).