// Maximum probability that malicious recepient gains information
<<p2>>Pmax=? [ F "gains_information" ]
<<p1,p2>>Pmax=? [ F "gains_information" ]