We show that the existence of a recursively enumerable set whose Turing degree is neither low nor complete cannot be proven from the basic axioms of first order arithmetic $(P^-)$ together with $\Sigma_2$-collection $(B\Sigma_2)$. In contrast, a high (hence, not low) incomplete recursively enumerable set can be assembled by a standard application of the infinite injury priority method. Similarly, for each $n$, the existence of an incomplete recursively enumerable set that is neither low$_n$ nor high$_{n - 1}$, while true, cannot be established in $P^- + B\Sigma_{n + 1}$. Consequently, no bounded fragment of first order arithmetic establishes the facts that the high$_n$ and low$_n$ jump hierarchies are proper on the recursively enumerable degrees.