Stop conditions, checked

${\mathcal{C}}_{3,\mathrm{D}}$ is not renamed as the observable: it is one summand of (eq:single). No row is added to a co-transformation that already contains it: the slot is determined (Section sec:ledger). The companion and Einstein rows are not deleted without their hypotheses (Section sec:plateau). The inverse is $-\mathcal{P}{E}_0^{\mathrm{R}}$. $Q_H{\mathcal{C}}_{3,\mathrm{D}}$ is a classical insertion's class, not a quantum retarded product.