On Fri, Sep 25, 2026 at 11:47 AM Tom Lane <[email protected]> wrote:
> "David G. Johnston" <[email protected]> writes: > > On Friday, September 25, 2026, Daniel Gustafsson <[email protected]> > 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
