Word for people with the annoying need/habit of disagreeing with or correcting people, and/or word for the habit/behavior itself. There‘s a put-down element to it, and it’s typically a correction that’s beside the point.

For example, if my sister and I are discussing reasonable complaints about my parents’ hurtful behavior, her boyfriend chides “well they’ve helped us out a lot so I’d like to be respectful” (in a correct-y talk-down way… their “help” in other areas being both obvious and beside the point).

Or like when you say something is blue and someone says “well actually, it’s aqua.” And they do this kind of thing to an exhausting degree.

Both academic and less-polite words welcome!

Related terms I’ve thought of but aren’t 100% satisfying: - contrarian - chiding - undercutting - talking down, putting down - one-upping (this seems like a subset of what I’m talking about) - microcorrecting (this is maybe the closest fit in terms of the behavior but it doesn’t feel like it captures the whole essence) - high and mighty - blowhard - asshole (jk but not jk)