The general 4-dimensional light bulb theorem

We discuss the theorem that in a compact 4-manifold that has no 2-torsion, homotopy implies smooth isotopy for smooth embedded 2-spheres with a common embedded transverse sphere. By transverse sphere we mean a sphere with trivial normal bundle that intersects each of the other spheres transversely exactly once.