Working on my PhD, thesis:
symmetricfunctionsetpartitionmultisetdecompositionsystempartialcoautomorphismmultiproductaxiom
AKA The Enumerative Category Theory of Lattice Forms.