 there exists a total Noetherian preorder $\precsim$ on ${\mathcal{P}}$ such that conditions \[AabovePrime\] and \[BabovePrime\] are satisfied for all $\Pi',\Pi'' \in {\mathcal{P}}$ and $i \in \{0,\ldots,k\}$.  