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