Compute default disagreement.
0.51^2-0.3^2=0.1701.
Why can Bob know acknowledgement receipt at zero drops?
The declared model removes every world where the acknowledgement was lost.
Compute transfer agreement.
1-(0.75^3-0.5^3)=0.703125.