const int k;

<<p1>> Pmax=? [F<=k "T"]