A bstract We expand Hilbert series technologies in effective field theory for the inclusion of massive particles, enabling, among other things, enumeration operator bases non-linearly realized gauge theories. find that Higgs mechanism is manifest at level series, as expected partition function an S -matrix subject to Goldstone equivalence theorem. In addition vectors, we detail how massive, spi...