I believe that the intended denominator was: 0.8^7

*0.2^3*0.25+0.5^7

*0.5^3*0.75

Hey @Rodolfo_Novarini,

Thanks for pointing out the discrepancy. Although the final value of the probability is correct, the expression has an incorrect value in the denominator as you pointed out. I will pass this on to the team to get it fixed.

Cheers,

Elemento