[setopt]

> If they are samples from different flips (and your coin is the usual idealized one) then X and Y are independent random variables and P(X=Y)=0.25.

Isn’t it 0.5?