// Minimum probability that a leader is eventually elected
Pmin=? [ F "done" ]