I'm going to round it anyway, so it won't matter too much. So if I take the sum. Let me take this off screen so I can still see it, and then let me write it. So what I got here, this one is 0.068629, and I'll round it 7. And this down here was 0.015625. And when you add these two up, because we just care about getting four heads either way, there's a probability of getting it this way with the unfair coin. This is the probability of getting it with the fair coin.