An interesting effect of counting at roundabouts is that MHT/basic inertial movement models tend to work quite well, because the vehicles aren't stopping and starting, and they tend to not bunch up as much as at a red light
I often find myself disagreeing with fact checkers. No, I don’t have a paper to support this. My disagreement is mostly based on careful reading of the position presented by fact-checkers.
But a high reading is a state that can exist. I don’t really see how formal methods would exclude a multiplication/unit error with respect to the displayed unit.