[cousin_it]

They are not equivalent. The former term logically implies the latter term. That means the set of situations described by the former term is a subset of the situations described by the latter term. That means the probability of the former set should be less or equal than the probability of the latter set.

[mh-cx]

Ah, makes sense now. Thanks!

Now I also get your previous comment. I've read your => as arrows instead of "equal or greater".

[cousin_it]

They are arrows, logical implications :-)

[mh-cx]

Argh. Right. After more thinking equal or greater than wouldn't make much sense.