For what it’s worth, I deleted the grandparent comment (which said that 8.3 and 8.4 seemed mutually contradictory) shortly after posting, but would not have done so if I knew that someone was replying and that there would be a hole in the thread. Sorry about that.
For what it’s worth, I deleted the grandparent comment (which said that 8.3 and 8.4 seemed mutually contradictory) shortly after posting, but would not have done so if I knew that someone was replying and that there would be a hole in the thread. Sorry about that.