[kwillets]

The net result of the hashing etc. is to shuffle the unique elements of A union B. In that shuffled union, the first element is in at least one of A or B; if it's in both it's in the intersection. The chance of that is J.

[maest]

Maybe I'm missing something, but I don't think that addresses my concerns around P1 and P2 being different.