It’s amazing, but yes they do.
Just last week, I was talking about heuristics with one of the checkers.