�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"