The key observation is that for any legal value σ e i = [k, ], S e i and U e i require that a ij = off for all j / ∈ [k, ].
6 we start by computing the product of all the off beliefs: b = j q a ij (off).