1: \begin{abstract} 

2: We prove that cubulated hyperbolic groups are virtually special. 

3: The proof relies on results of Haglund and Wise which also imply that they are linear  groups, and

4: quasi-convex subgroups are separable.

5: A consequence is that closed hyperbolic 3-manifolds have finite-sheeted Haken covers, which 

6: resolves the virtual Haken question of Waldhausen and Thurston's virtual fibering question. 

7: An appendix to this paper by Agol, Groves, and Manning proves a generalization of the main

8: result of \cite{AGM08}. 

9: \end{abstract}