VincentYu comments on Help with a (potentially Bayesian) statistics /​ set theory problem?

[VincentYu]

Yes, of course you are correct.