Note that when each "a_k" is regarded as representing the set of naturals up to and including k, if (2) were true outside of Wolkenmuekenheim, one would have both j < k and k < j simultaneously true as well.What its truth inside of Wolkenmuekenheim would mean is beyond the ken of those of us fortunately forever outside its walls.--