A regularity criterion for semigroup rings.
We show that the natural generalization of a conjecture of Hain and Looijenga to the case of pointed curves holds for all and if and only if the tautological rings of the moduli spaces of curves with rational tails and of stable curves are Gorenstein.