Comment by istjohn

Otoh, I've had it push back against my false assumptions when I was confidently incorrect, finding proof unasked.