So it sounds like you're saying we do have the "if".

Actually, no, because the equivalence of the two formulations is obvious to me.

But it might not be for everyone; it's well known that many people find thinking in terms of frequencies more intuitive than thinking in terms of bare probabilities. For such people, a statement about probabilities may simply not have any moral force unless and until it is translated into a statement about frequencies.