// Maximum probability that malicious recepient gains information by deadline T
<<p2>>Pmax=? [ F t<=K & "gains_information" ]

<<p1,p2>>Pmax=? [ F t<=K & "gains_information" ]