Sorry, ignore my erratum above, I was wrong. I mixed up odds and probability, they are different things.
Sorry, ignore my erratum above, I was wrong. I mixed up odds and probability, they are different things.