In 2007 Agol showed that if N is an aspherical compact 3-manifold with empty
or toroidal boundary such that its fundamental group is virtually RFRS, then
N is virtually fibered. We give a largely self-contained proof of Agol's
theorem using complexities of sutured manifolds.Comment: 25 pages, 6 figures v3: slightly revised an argument, otherwise minor
change