On Fri, Sep 25, 2026 at 11:47 AM Tom Lane <tgl@sss.pgh.pa.us> wrote:
"David G. Johnston" <david.g.johnston@gmail.com> writes: > On Friday, September 25, 2026, Daniel Gustafsson <daniel@yesql.se> wrote: >> It seems like a correct sentence to me, removing as per your suggestion >> would >> AFAICT make it grammatically incorrect.
> Probably, but wouldn’t saying “this user” instead of “that user” be equally > correct without making the word “that” serve two roles in the paragraph and > produce this annoying double-that construction?
It's perfectly good English as-is, and offhand I don't think using "this" would be an improvement. It's been a long time since high school English, but I think that "that" is actually more correct; in context I'd take "this user" to mean your own operating-system user ID, which was mentioned first. Note that the next sentence also uses "that user" to refer to the same database user.
regards, tom lane
After reading the discussion, it now makes sense the sentence, thanks for the clarification
