 Contracted Codazzi equation with positive expansion

For the positive-expansion convention for extrinsic curvature, write ${\nabla }_{\mu }{n}_{\nu }=K_{\mu \nu }-n_{\mu }{a}_{\nu }$ with normal acceleration $a_{\nu }=n^{\rho }{\nabla }_{\rho }{n}_{\nu }$. The Ricci commutator applied to $n$ gives the difference of its two second-derivative contractions. Projecting tangentially, the acceleration term in that commutator cancels exactly the acceleration term converting a spacetime divergence of $K$ into its fully projected spatial covariant derivative. Einstein's equations then identify the displayed equation as the momentum constraint.