const int T;

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