"For example, Ed Witten recently derived a formula for Donaldson invariants on Kähler manifolds using a twisted version of supersymmetric Yang-Mills theory in four dimensions. His argument depends on the existence of a mass gap, cluster decomposition, spontaneous symmetry breaking, asymptotic freedom, and gluino condensation."