 Ancillary conditioning that eliminates a nuisance parameter

For a sufficient statistic $(C,S)$ and parameter $(\psi ,\lambda )$, a useful strong reduction requires the law of $S$ to be free of $\psi$ and the conditional distribution of $C$ given $S$ to be free of the nuisance parameter $\lambda$. In the discrete case it giveswhere ${\varphi }_0$ sums to one on each $(C,S)$ fiber, ${\varphi }_S$ sums to one over $s$, and ${\varphi }_C$ sums to one over $c$ separately for every fixed $s$. Ordinary ancillarity, or just the law of $S$ being free of $\psi$, does not by itself guarantee that conditioning removes $\lambda$.