The topology of four-dimensional manifolds | Synapse