The virtual Haken conjecture (with an appendix by Ian Agol, Daniel Groves and Jason Manning).