A Proofs to theorems in the paper If we have a proposal distribution q(x) satisfying ∀x, f (x) = 1 ∧f (x) = 1 ⇒ q(x) = 0, then equation (16) can be further written as Sometimes, it's hard for us to compute normalized probability q.
1Sometimes relations are also named properties.