And what's the probability that, in general, we picked 4 out of 6 heads? Well, that's this number, 0.241965. So this equals, let's see, this is equal to 5 over 64 divided by 0.241965. And what is that equal to? That's 5 divided by 64 is equal to that, divided by 0.241965 is equal to 32.3%. So that's amazing, or relatively amazing. We've now, it's a little bit less than a 1 third shot that we picked the fair coin given that we got 4 out of 6 heads.