 Part ii of  Proposition 3.7  records the fact that the basic result that \(K\) is c.e. but not computable holds for computability relativized to any set \(A\). From this it follows that \(A &lt;_T A'\) and thus also that the result of iterating the jump operation on any set \(A\) yields a sequence 