And then we can add them all up, right? Because we want the probability of at least 3. So it's going to be that, the probability of getting 5 out of 5, plus the probability of getting a 4 out of 5, which is 0.4096, plus the probability of getting 3 out of 5. So that's 0.2048 equals 0.94208. So 94.21, roughly, rounding percent chance. Which makes sense. If I have an 80% free-throw percentage on any one shot, I have a very high probability of getting at least 3 out of 5 when I go to the free-throw line.