Taubes's_Gromov_invariant loading ...