Negative freeze

There is no restriction quotient, antifield-dependent observable, spurion transformation, convolution prescription, new Einstein–Hilbert vertex, triangle-residue subtraction, or sharp-width limit. Changing the pair, propagators, or ambiguity support after J2 would define a new contract.