Probabilistic OR#2153

Probabilistic OR (Discussion)