We compare it to a state in the hypothesis v. If this state is a representative of the same state in the target v, then L ∞ (Ŝ v , P q ) < µ/4 (by the goodness of the multisets), the triangle inequality shows that L ∞ (Ŝ u,σ ,Ŝ v ) < µ/2, and therefore the comparison will return true.
let us suppose that v is a representative of a different state q v .