Decision table

The ending for the named coefficient is Constructed. An alternative requirement of unqualified invariance of ${{\Phi }^{(2)}}_{\mathrm{D}}$ is not part of this release: the Einstein row is a named remainder on the gauge-fixed shell, and the companion is a named remainder off (CP). The brief's “$+$” assembly is Proved obstructed as a candidate, by Proposition prop:signdetect; it is not the object released.