Four-manifolds with positive isotropic curvature | Synapse