condition P_limited P_replete