An enumerative invariant theory in Algebraic Geometry, Differential or Representation Theory, is the study of invariants which 'count' $\tau$-(semi)stable objects $E$ with fixed topological $[E]=\alpha$ some geometric problem, using a virtual class $[{\cal M}_\alpha^{\rm ss}(\tau)]_{\rm virt}$ homology for moduli spaces ${\cal st}(\tau)\subseteq{\cal ss}(\tau)$ objects. Examples include Mochizu...