The relative differential

The distinction between Theorem thm:sext(ii) and Proposition prop:kinematic is the point of the relative space: nilpotence on antifield-dependent functionals requires $\left(S_{\mathrm{ext}},S_{\mathrm{ext}}\right)=0$. The next statement records, from copied data only, that this requirement is not idle.