Systoles of hyperbolic 4-manifolds - Ian Agol (2006)