// Maximum probability that malicious recepient gains information
Pmax=? [ F "gains_information" ]