Pmin=? [ F<=T (lin= N | rin = N) ]