ESlightly modified the wording of the first sentence of Theorem 3.11, (iii), (b), as well as the
@the wording and notation of the first three sentences of Theorem 3.11, (iii), (c), so as to
@take into account the theory surrounding the global realified portion of the prime-strips with
@subscript "env"