This was double checked five times

That's kind of the point.

I thought "reddot" was the point being made