Operational joint counts

The clipped covariance, unlike the true unbounded covariance, is automatically controlled:

The product expectation costs $a_1{a}_2{e}_Z$, and the product of means costs at most $2a_1{a}_2{e}_Z$. This does not assert that the clipped ideal covariance equals $|A_{12}{|}^2$.