// Maximum probability that a leader has been elected by deadline T
Pmax=? [ F "done_after" ]