Sharp-sector intertwining

Thus $T=T\circ {\mathcal{D}}_P$ is sufficient in general but stronger than necessary. Coherence between distinct coarse outcomes need not be destroyed by $T$, because the coarse Lüders instrument removes it. The obstruction is precisely fine coherence within a single coarse outcome.