that is a refinement of \(\FC_1\) in \eqref{eqn22}, with \(I_s\) replaced by a projective decomposition onto some orthonormal basis \(\{\ket{v^j}\}\) of the particle Hilbert space \(\HC_s\). The joint probability distribution at time \(t_2\) of the particle and pointer states is then